Temporal graph classes: A view through temporal separators
نویسندگان
چکیده
منابع مشابه
Temporal Graph Classes: A View Through Temporal Separators
We investigate the computational complexity of separating two distinct vertices s and z by vertex deletion in a temporal graph. In a temporal graph, the vertex set is fixed but the edges have (discrete) time labels. Since the corresponding Temporal (s, z)-Separation problem is NP-hard, it is natural to investigate whether relevant special cases exist that are computationally tractable. To this ...
متن کاملGraph Separators: A Parameterized View
Graph separation is a well-known tool to make (hard) graph problems accessible to a divide-and-conquer approach. We show how to use graph separator theorems in combination with (linear) problem kernels in order to develop fixed parameter algorithms for many wellknown NP-hard (planar) graph problems. We coin the key notion of glueable select&verify graph problems and derive from that a prospecti...
متن کاملSemantics of Temporal Classes
A model theory of a typed, declarative, temporal object-oriented language system is presented. The declarative nature of the language makes it very different from the dominating procedural, strongly typed object-oriented programming languages. In this declarative system, methods are specified in a high-level, temporal constraint language. Two fundamental properties of these constraints are that...
متن کاملTemporal Classes and OWL
Temporal class as a design primitive for knowledge engineering allows for natural representation of evolving concepts of a domain. The paper proposes arguments to employ temporal entities (classes, axioms, ontologies) as first-class citizens in the Semantic Web applications. The paper presents an informal description of one temporal extension of a subset of OWL to deal with temporal classes — O...
متن کاملEndoscopic Transsphenoidal Resection of a Medial Temporal Arachnoid Cyst in a Patient with Temporal Lobe Epilepsy
Abstract Introduction: Arachnoid cysts are developmental cystic lesions which may be found as an incidental finding on neuroimaging or present with symptoms of headache, seizure and neurologic deficit. Presentation with seizure is more common with larger sizes and temporal location. Presentation with TLE is rare, and fenestration of cysts had variable results for seizure control. Here in, we r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2020
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2019.03.031